Java Virtual Machine (JVM )
ثبت نشده
چکیده
A Java Virtual Machine (JVM) enables a set of computer software programs and data structures to use a virtual machine model for the execution of other computer programs and scripts. The model used by a JVM accepts a form of computer intermediate language commonly referred to as Java bytecode. This language conceptually represents the instruction set of a stack-oriented, capability architecture. Sun Microsystems states there are over 4.5 billion JVM-enabled devices.[1]
منابع مشابه
Practical, Dynamic Information-flow for Virtual Machines
For decades, secure operating systems have incorporated mandatory access control (MAC) techniques. Surprisingly, mobile-code platforms such as the Java Virtual Machine (JVM) and the .NET Common Language Runtime (CLR) have largely ignored these advances and have implemented a far weaker security that does not reliably track ownership and access permissions for individual data items. We have impl...
متن کاملParameter Passing for the Java Virtual Machine
The portability and runtime safety of programs which are executed on the Java Virtual Machine (JVM) makes the JVM an attractive target for compilers of languages other than Java. Unfortunately, the JVM was designed with language Java in mind, and lacks many of the primitives required for a straighforward implementation of other languages. Most fundamental of these obstacles in the limited range...
متن کاملProving Theorems about Java and the JVM with ACL2
We describe a methodology for proving theorems mechanically about Java methods. The theorem prover used is the ACL2 system, an industrial-strength version of the Boyer-Moore theorem prover. An operational semantics for a substantial subset of the Java Virtual Machine (JVM) has been defined in ACL2. Theorems are proved about Java methods and classes by compiling them with javac and then proving ...
متن کاملJava Virtual Machine - Present and Near Future
At the heart of Java technology lies the Java Virtual Machine (JVM) the abstract computer which makes Java’s "write once, run anywhere" slogan a valid one. This paper introduces Java’s existing JVM features and the way they contribute to its overall portability. It also discusses the future direction of JVM as the characteristics of the overall system infrastructure are evolving rapidly with th...
متن کاملJalape~ No | a Compiler-supported Java Tm Virtual Machine for Servers
In this paper, we give an overview of the Jalape~ no Java Virtual Machine (JVM) research project at the IBM T. J. Watson Research Center. The goal of Jalape~ no is to expand the frontier of JVM technologies for server machines. As reported in the paper, several of the design and implementation decisions in Jalape~ no depend heavily on compiler support. Two noteworthy features of the Jalape~ no ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011